Within contemporary evangelical theology, a peculiar controversy has been brewing over the past few decades with regard to the doctrine of the Trinity. A good number of prominent evangelical theologians and philosophers are rejecting the doctrine of divine processions within the eternal life of the Trinity. In William Hasker’s recent Metaphysics and the Tri-Personal God, Hasker laments this rejection and seeks to offer a defense of this doctrine. This paper shall seek to accomplish a few things. In section I, I (...) shall first set the stage for a proper understanding of the discussion. Section II will articulate the basic Trinitarian desiderata that must be satisfied by any model of the doctrine of the Trinity. This will help one understand the debate between Hasker and the procession deniers. Section III will offer an articulation of what the doctrine of divine processions teaches. Section IV will examine Hasker’s defense of the doctrine point by point. I shall argue that his defense of the doctrine of the divine processions fails. (shrink)

According to classical theism, impassibility is said to be systematically connected to divine attributes like timelessness, immutability, simplicity, aseity, and self-sufficiency. In some interesting way, these attributes are meant to explain why the impassible God cannot suffer. I shall argue that these attributes do not explain why the impassible God cannot suffer. In order to understand why the impassible God cannot suffer, one must examine the emotional life of the impassible God. I shall argue that the necessarily happy emotional life (...) of the classical God explains why the impassible God cannot suffer. (shrink)

We argue that there is a conflict among classical theism's commitments to divine simplicity, divine creative freedom, and omniscience. We start by defining key terms for the debate related to classical theism. Then we articulate a new argument, the Aloneness Argument, aiming to establish a conflict among these attributes. In broad outline, the argument proceeds as follows. Under classical theism, it's possible that God exists without anything apart from Him. Any knowledge God has in such a world would be wholly (...) intrinsic. But there are contingent truths in every world, including the world in which God exists alone. So, it's possible that God contingently has wholly intrinsic knowledge. But whatever is contingent and wholly intrinsic is an accident. So, God possibly has an accident. This is incompatible with classical theism. Finally, we consider and rebut several objections. (shrink)

The debate on love's reasons ignores unrequited love, which—I argue—can be as genuine and as valuable as reciprocated love. I start by showing that the relationship view of love cannot account for either the reasons or the value of unrequited love. I then present the simple property view, an alternative to the relationship view that is beset with its own problems. In order to solve these problems, I present a more sophisticated version of the property view that integrates ideas from (...) different property theorists in the love literature. However, even this more sophisticated property view falls short in accounting for unrequited love's reasons. In response, I develop a new version of the property view that I call the experiential view. On this view, we love a person not only in virtue of properties shaped by and experienced in a reciprocal loving relationship, but also in virtue of perspectival properties, whose value can be properly assessed also outside of a reciprocal loving relationship. The experiential view is the only view that can account not only for reciprocated love's reasons, but also for unrequited love's reasons. (shrink)

Severe poverty is a major global problem about risk and inequality. What, if any, is the relationship between equality, fairness and responsibility in an unequal world? I argue for four conclusions. The first is the moral urgency of severe poverty. We have too many global neighbours that exist in a state of emergency and whose suffering is intolerable. The second is that severe poverty is a problem concerning global injustice that is relevant, but not restricted, to questions about responsibility. If (...) none were responsible, this does not eliminate all compelling claims to provide assistance. The third is that severe poverty represents an inequality too far; it is a condition of extremity with denial of basic needs. The fourth is that there is a need for an approach that captures all relevant cases – and the capabilities approach and the connection theory of remedial responsibilities are highlighted as having special promise. (shrink)

Thomas Reid (1710–96) is increasingly being seen as a highly significant philosopher and a central figure in the Scottish Enlightenment. This new edition of Reid's classic philosophical text in the philosophy of mind at long last gives scholars a complete, critically edited text of the Inquiry. The critical text is based on the fourth life-time edition (1785). A selection of related documents showing the development of Reid's thought, textual notes, bibliographical details of previous editions and a full introduction by the (...) editor makes this an important contribution to the study of this increasingly respected philosopher. -/- Key Features - Complete, critically edited text of the Inquiry accompanied by a judicious selection of manuscript evidence relating to its composition - Comprehensive Introduction providing an historical and philosophical account of the formation of the Inquiry - Detailed textual notes which include bibliographical details and allusions, translations, references to secondary literature and selected passages from Reid's manuscripts. (shrink)

In this paper I present a novel taxonomy of envy, according to which there are four kinds of envy: emulative, inert, aggressive and spiteful envy. An inquiry into the varieties of envy is valuable not only to understand it as a psychological phenomenon, but also to shed light on the nature of its alleged viciousness. The first section introduces the intuition that there is more than one kind of envy, together with the anecdotal and linguistic evidence that supports it. The (...) second section proposes and explains in detail a definition of envy tout court. The third section presents a recurring distinction between behavioral tendencies of envy, which has been explained in two distinct ways, one mostly proposed by psychologists, the other discernible in the philosophical tradition. The fourth section argues that these models of explanation track two variables, whose interplay is responsible for the existence of the four envies. The fifth section illustrates four paradigmatic cases, and provides a detailed analysis of the phenomenology, motivational structure, and typical behavioral outputs of each. The paper ends with a brief discussion of the implications of the taxonomy for moral education. (shrink)

Episodic and semantic memory are often taken to be fundamentally different mental systems, and contemporary philosophers often pursue research questions about episodic memory, in particular, in isolation from semantic memory. This paper challenges that assumption, and puts pressure on philosophical approaches to memory that break off episodic memory as its own standalone topic. I present and systematize psychological and neuroscientific theories of semanticization, the thesis that memory content tends to drift from episodic to semantic in structure over time and exposure (...) to an environment. Semanticization, I argue, is a long-term interconnection between episodic and semantic systems that requires approaching both the content and function of these two memory systems as a whole. Thus we have a reason to reject projects by Michael Martin, which aims to carve out a uniquely episodic memory content, and Kourken Michaelian, which pairs episodic memory to its own unique function. Instead, seeing declarative memory as a single system with two facets or even a continuum of features allows for deeper insight into both content and function. (shrink)

Debates over what is fundamental assume that what is most fundamental must be either a “top” level (roughly, the biggest or highest-level thing), or a “bottom” level (roughly, the smallest or lowest-level things). Here I sketch an alternative to top-ism and bottom-ism, the view that a middle level could be the most fundamental, and argue for its plausibility. I then suggest that the view satisfies the desiderata of asymmetry, irreflexivity, transitivity, and well-foundedness of fundamentality, that the view has explanatory power (...) on par with that of top-ism and bottom-ism, and that it satisfies the Principle of Sufficient Reason. (shrink)

This paper develops and articulates a metaphysics of intersectionality, the idea that multiple axes of social oppression cross-cut each other. Though intersectionality is often described through metaphor, theories of intersectionality can be formulated using the tools of contemporary analytic metaphysics. A central tenet of intersectionality theory, that intersectional identities are inseparable, can be framed in terms of explanatory unity. Further, intersectionality is best understood as metaphysical and explanatory priority of the intersectional category over its constituents, akin to metaphysical priority of (...) the whole over its parts. (shrink)

In this paper I will show the problems that are encountered when dealing with uniqueness of connectives in a bilateralist setting within the larger framework of proof-theoretic semantics and suggest a solution. Therefore, the logic 2Int is suitable, for which I introduce a sequent calculus system, displaying - just like the corresponding natural deduction system - a consequence relation for provability as well as one dual to provability. I will propose a modified characterization of uniqueness incorporating such a duality of (...) consequence relations, with which we can maintain uniqueness in a bilateralist setting. (shrink)

In juxtaposition with the myth and tragedy of Ovid’s Medea, this paper investigates the possibility within the Kantian conception of agency of understanding moral evil as acting against one’s better judgment. It defends the thesis that in Kant self-deception, i. e. the intentional untruthfulness to oneself, provides the fundamental structure for choosing against the moral law. I argue that, as Kant’s thought progresses, self-deception slowly proceeds to become the paradigmatic case of moral evil. This is discussed with regard to two (...) important topics in his later moral philosophy: the doctrine of radical evil and the crucial role of the duty of truthfulness in ethics. The inquiry into Kant’s theory of conscience unfolds both against this theoretical background and in light of its historical roots in the polemic against casuistry and probabilism. This contribution closes with a brief look at the tools Kant implements to counter this tendency to self-deception in moral judgment and particularly at the role casuistry plays within his conception of moral education. (shrink)

This paper gives a framework for understanding causal counterpossibles, counterfactuals imbued with causal content whose antecedents appeal to metaphysically impossible worlds. Such statements are generated by omissive causal claims that appeal to metaphysically impossible events, such as “If the mathematician had not failed to prove that 2+2=5, the math textbooks would not have remained intact.” After providing an account of impossible omissions, the paper argues for three claims: (i) impossible omissions play a causal role in the actual world, (ii) causal (...) counterpossibles have broad applications in philosophy, and (iii) the truth of causal counterpossibles provides evidence for the nonvacuity of counterpossibles more generally. (shrink)

The purpose of this paper is to introduce a bi-intuitionistic sequent calculus and to give proofs of admissibility for its structural rules. The calculus I will present, called SC2Int, is a sequent calculus for the bi-intuitionistic logic 2Int, which Wansing presents in [2016a]. There he also gives a natural deduction system for this logic, N2Int, to which SC2Int is equivalent in terms of what is derivable. What is important is that these calculi represent a kind of bilateralist reasoning, since they (...) do not only internalize processes of verifcation or provability but also the dual processes in terms of falsifcation or what is called dual provability. In [Wansing, 2017] a normal form theorem for N2Int is stated, here, I want to prove a cut-elimination theorem for SC2Int, i.e., if successful, this would extend the results existing so far. (shrink)

Proponents of grounding often describe the notion as "metaphysical causation" involving determination and production relations similar to causation. This paper argues that the similarities between grounding and causation are merely superficial. I show that there are several sorts of causation that have no analogue in grounding; that the type of "bringing into existence" that both involve is extremely different; and that the synchronicity of ground and the diachronicity of causation make them too different to be explanatorily intertwined.

This paper poses an original puzzle about the relationship between causation and moral responsibility called The Moral Difference Puzzle. Using the puzzle, the paper argues for three related ideas: (1) the existence of a new sort of moral luck; (2) an intractable conflict between the causal concepts used in moral assessment; and (3) inability of leading theories of causation to capture the sorts of causal differences that matter for moral evaluation of agents’ causal contributions to outcomes.

Widespread causal overdetermination is often levied as an objection to nonreductive theories of minds and objects. In response, nonreductive metaphysicians have argued that the type of overdetermination generated by their theories is different from the sorts of coincidental cases involving multiple rock-throwers, and thus not problematic. This paper pushes back. I argue that attention to differences between types of overdetermination discharges very few explanatory burdens, and that overdetermination is a bigger problem for the nonreductive metaphysician than previously thought.

I argue that fitting envy plays a special role in safeguarding our happiness and flourishing. After presenting my theory of envy and its fittingness conditions, I contrast Kant’s view that envy is always unfitting with D’Arms and Jacobson’s defense of fitting envy as an evolutionarily-shaped response to a deep and wide human concern, that is, relative positioning. However, D’Arms and Jacobson don’t go far enough. First, I expand on their analysis of positional goodness, distinguishing between an epistemic claim, according to (...) which we use implicit or explicit comparison to know what position we occupy in a continuum of goodness, and thus to form judgments of goodness, and a metaphysical one, according to which much human goodness depends on implicit or explicit rankings and positionality. Second, I argue that fitting envy is not only intrinsically valuable qua fitting response to authentic goodness, but can be epistemically, morally and prudentially valuable. (shrink)

This paper discusses a puzzling tension in attributions of moral responsibility in cases of resultant moral luck: we seem to hold agents fully morally responsible for unlucky outcomes, but less-than-fully-responsible for unlucky outcomes brought about differently than intended. This tension cannot be easily discharged or explained, but it does shed light on a famous puzzle about causation and responsibility, the Thirsty Traveler.

I present and develop the view that omissions are de re possibilities of actual events. Omissions do not literally fail to occur; rather, they possibly occur. An omission is a tripartite metaphysical entity composed of an actual event, a possible event, and a contextually specified counterpart relation between them. This view resolves ontological, causal, and semantic puzzles about omissions, and also accounts for important data about moral responsibility for outcomes resulting from omissions.

Many philosophers hypothesize that our concept of personal identity is partly constituted by the one-person-one-place rule, which states that a person can only be in one place at a time. This hypothesis has been assumed by the most influential contemporary work on personal identity. In this paper, we report a series of studies testing whether the hypothesis is true. In these studies, people consistently judged that the same person existed in two different places at the same time. This result undermines (...) some widely held philosophical assumptions, supports others, and fits well with recent discoveries on identity judgments about inanimate objects and non-human animals. (shrink)

Some people feel distressed reflecting on human extinction. Some people even claim that our efforts and lives would be empty and pointless if humanity becomes extinct, even if this will not occur for millions of years. In this essay, I will attempt to demonstrate that this claim is false. The desire for long-lastingness or quasi-immortality is often unwittingly adopted as a standard for judging whether our efforts are significant. If we accomplish our goals and then later in life conclude that (...) these accomplishments were of no significance, then this is a sign that the desire for long-lastingness has crept into our standards. By recognizing this, and refraining from adopting an unreasonable standard to judge whether our efforts are significant, it will be to our advantage. Then, when we look back on life from an external perspective that encompasses times after humanity has become extinct, we will not conclude that our efforts amounted to nothing. Rather, we will conclude that many people made significant accomplishments that made their lives and the lives of other people better than they would have been if their goals had never been pursued. (shrink)

In this paper, I ask whether there is a defensible philosophical view according to which everybody is beautiful. I review two purely aesthetical versions of this claim. The No Standards View claims that everybody is maximally and equally beautiful. The Multiple Standards View encourages us to widen our standards of beauty. I argue that both approaches are problematic. The former fails to be aspirational and empowering, while the latter fails to be sufficiently inclusive. I conclude by presenting a hybrid ethical–aesthetical (...) view according to which everybody is beautiful in the sense that everybody can be perceived through a loving gaze. I show that this view is inclusive, aspirational and empowering, and authentically aesthetical. (shrink)

In "Changing the Past" (2010), Peter van Inwagen argues that a time traveler can change the past without paradox in a growing block universe. After erasing the portion of past existence that generates paradox, a new, non-paradox-generating block can be "grown" after the temporal relocation of the time traveler. -/- I articulate and explore the underlying mechanism of Van Inwagen's model: the time traveler's control over the location of the objective present. Van Inwagen's model is aimed at preventing paradox by (...) changing the past, but it achieves something broader than paradox avoidance: it gives tools for a new model of time travel. I use van Inwagen's tools to develop a new kind of time travel in which in which the location of the objective present is shifted by the time traveler. I call this type of time travel Movable Objective Present, or MOP. After defining MOP, I argue that it is compatible with any theory of time that accepts hypertime, including presentism and moving spotlight theory. (shrink)

The purpose of this survey was to gather individual’s attitudes and feelings towards privacy and the selling of data. A total (N) of 1,107 people responded to the survey. -/- Across continents, age, gender, and levels of education, people overwhelmingly think privacy is important. An impressive 82% of respondents deem privacy extremely or very important, and only 1% deem privacy unimportant. Similarly, 88% of participants either agree or strongly agree with the statement that ‘violations to the right to privacy are (...) one of the most important dangers that citizens face in the digital age.’ The great majority of respondents (92%) report having experienced at least one privacy breach. -/- People’s first concern when losing privacy is the possibility that their personal data might be used to steal money from them. Interestingly, in second place in the ranking of concerns, people report being concerned about privacy because ‘Privacy is a good in itself, above and beyond the consequences it may have.’ -/- People tend to feel that they cannot trust companies and institutions to protect their privacy and use their personal data in responsible ways. The majority of people believe that governments should not be allowed to collect everyone’s personal data. Privacy is thought to be a right that should not have to be paid for. (shrink)

This paper argues that several sorts of metaphysical and semantic indeterminacy afflict the causal relation. If, as it is plausible to hold, there is a relationship between causation and moral responsibility, then indeterminacy in the causal relation results in indeterminacy of moral responsibility more generally.

The social categories to which we belong—Latino, disabled, American, woman— causally influence our lives in deep and unavoidable ways. One might be pulled over by police because one is Latino, or one might receive a COVID vaccine sooner because one is American. Membership in these social categories most often falls outside of our control. This paper argues that membership in social categories constitutes a restriction on human agency, creating a situation of non-ideal agency for many human individuals. -/- However, there (...) are ways to resist the causal influence of social categories, and certain socially marginalized groups can be understood as attempting to do just this. I discuss two instances of social category resistance: gender pronouns and the rights of trans individuals. I suggest that the intentional declaration of gender pronouns (“she/her” or “they/them”) can be understood as an attempt to resist the causal powers of nonconsensual social categorization. Similarly, one among many reasons to support the rights of trans individuals is that their self-declarations of gender identity can be viewed as a reclamation of agency in the face of causal constraints imposed by socially defined and imposed gender categories. This lesson can be generalized to people belonging to a broad range of marginalized groups. (shrink)

I argue for the view that envy and jealousy are distinct emotions, whose crucial difference is that envy involves a perception of lack while jealousy involves a perception of loss. I start by noting the common practice of using ‘envy’ and ‘jealousy’ almost interchangeably, and I contrast it with the empirical evidence that shows that envy and jealousy are distinct, albeit similar and often co-occurring, emotions. I then argue in favor of a specific way of understanding their distinction: the view (...) that envy is a response to a perceived lack of a valuable object, while jealousy is a response to a perceived loss of a valuable object. I compare such a view with the most compelling alternative theories, and show that it accounts better for paradigmatic cases. I conclude by showing how the lack vs. loss model can handle complications: ambiguous cases, that is, when it is epistemically unclear whether one experiences lack or loss; hybrid cases, that is, when one seems to experience both lack and loss; and borderline cases, that is, when it is metaphysically unclear whether one experiences lack or loss. (shrink)

In this chapter, I argue that a certain kind of envy is not only morally permissible, but also, sometimes, more fitting and productive than admiration. Envy and admiration are part of our emotional palette, our toolbox of evolutionary adaptations, and they play complementary roles. I start by introducing my original taxonomy of envy, which allows me to present emulative envy, a species of envy sometimes confused with admiration. After reviewing how the two emotions differ from a psychological perspective, I focus (...) in particular on the distinct and complementary roles they play in the ethical and political domains. (shrink)

A classic and fraught question in the philosophy of film is this: when you watch a film, do you experience yourself in the world of the film, observing the scenes? In this paper, we argue that this subject of film experience is sometimes a mere impersonal viewpoint, sometimes a first-personal but unindexed subject, and sometimes a particular, indexed subject such as the viewer herself or a character in the film. We first argue for subject pluralism: there is no single answer (...) to the question of what kind of subjectivity, if any, is mandated across film sequences. Then, we defend unindexed subjectivity: at least sometimes, films mandate an experience that is first-personal but not tied to any particular person, not even to the viewer. Taken together, these two theses allow us to see film experience as more varied than previously appreciated and to bridge in a novel way the cognition of film with the exercise of other imaginative capacities, such as mindreading and episodic recollecting. (shrink)

When pessimists claim that human life is meaningless, they often also assert that the universe is “blind to good and evil” and “indifferent to us”. How, if it all, is the indifference of the universe relevant to whether life is meaningful? To answer this question, and to know whether we should be concerned that the universe is indifferent, we need a clearer and deeper understanding of the concept of “cosmic indifference”, which I will seek to provide. I will argue that (...) the lives of many individuals are meaningful and that human life, in general, is somewhat meaningful, despite the indifference of the universe. Furthermore, I will seek to demonstrate that even if the universe cared about us, or had preferences for how we live our lives, that this likely would not enhance the quality of our lives. (shrink)

Theories of causation grounded in counterfactual dependence face the problem of profligate omissions: numerous irrelevant omissions count as causes of an outcome. A recent purported solution to this problem is proportionality, which selects one omission among many candidates as the cause of an outcome. This paper argues that proportionality cannot solve the problem of profligate omissions for two reasons. First: the determinate/determinable relationship that holds between properties like aqua and blue does not hold between negative properties like not aqua and (...) not blue. Negative properties are those at stake in omissive causation. Second: proportionality misconstrues the nature of the problem to be solved. (shrink)

In a recent paper, Max Deutsch argues that there is no “qua problem” for purely causal theories of reference, according to which the extensions of some expressions are grounded in causal relations to members of their extensions during dubbing acts. The qua problem is the difficulty in specifying the facts in virtue of which the reference of “elephant” is grounded by causal contact with something _qua_ elephant and not _qua_ its other properties. If no such specification can be given, reference (...) remains unacceptably indeterminate. This has led many to abandon purely causal reference grounding. Deutsch’s argument for the dissolution of the problem goes as follows: we usually agree that an event can cause its effect _qua_ some of its properties and not _qua_ others. For example, a hot acidic solution causes a glass beaker to break due to its heat and not due to its acidity. Given this assumption, we can simply say that an event caused a dubbing act _qua_ the causally relevant property and not _qua_ the causally irrelevant properties, thus grounding the reference of the term; the qua problem has vanished. I will argue that causal mechanisms, and in particular the facts about causal relevance appealed to by Deutsch, are insufficient to dissolve the qua problem. It is not generally the case that a _unique_ property is causally relevant in purely physical cases of causation; but this is precisely what is required to avoid the referential indeterminacy highlighted by the qua problem. I will demonstrate that if we rely on causal relevance to dissolve the qua problem, there is no way to respect the uniqueness requirement: there are too many properties that are causally relevant to the occurrence of any single dubbing act, including the intentional states of the dubber. (shrink)

It has been argued that reduction procedures are closely connected to the question about identity of proofs and that accepting certain reductions would lead to a trivialization of identity of proofs in the sense that every derivation of the same conclusion would have to be identified. In this paper it will be shown that the question, which reductions we accept in our system, is not only important if we see them as generating a theory of proof identity but is also (...) decisive for the more general question whether a proof has meaningful content. There are certain reductions which would not only force us to identify proofs of different arbitrary formulas but which would render derivations in a system allowing them meaningless. To exclude such cases, a minimal criterion is proposed which reductions have to fulfill to be acceptable. (shrink)

This paper argues that so-called “trumping preemption” is in fact overdetermination or early preemption, and is thus not a distinctive form of redundant causation. I draw a novel lesson from cases thought to be trumping: that the boundary between preemption and overdetermination should be reconsidered.

This paper suggests that time travelling scenarios commonly depicted in science fiction introduce problems and dangers for the time traveller. If time travel takes time, then time travellers risk collision with past objects, relocation to distant parts of the universe, and time travel-specific injuries. I propose several models of time travel that avoid the dangers and risks of time travel taking time, and that introduce new questions about the relationship between time travel and spatial location.

This paper brings two fresh perspectives on Lewis’s theory of time travel. First: many key aspects and theoretical desiderata of Lewis’s theory can be captured in a framework that does not commit to eternalism about time. Second: implementing aspects of Lewisian time travel in a non-eternalist framework provides theoretical resources for a better treatment of time travel to the future. While time travel to the past has been extensively analyzed, time travel to the future has been comparatively underexplored. I make (...) progress on this topic. Along the way, I discuss Lewis’s lesser-known time travel oeuvre, especially his volume of correspondence and lectures on the topic collected in Beebee and Fisher (2020) and Janssen-Lauret & MacBride (forthcoming). Lewis’s body of unpublished work on time travel yields fruitful insights into his broader thinking on the subject. (shrink)

In this essay I identify a type of linguistic phenomenon new to feminist philosophy of language: biased evaluative descriptions. Biased evaluative descriptions are descriptions whose well-intended positive surface meanings are inflected with implicitly biased content. Biased evaluative descriptions are characterized by three main features: (1) they have roots in implicit bias or benevolent sexism, (2) their application is counterfactually unstable across dominant and subordinate social groups, and (3) they encode stereotypes. After giving several different kinds of examples of biased evaluative (...) descriptions, I distinguish them from similar linguistic concepts, including backhanded compliments, slurs, insults, epithets, pejoratives, and dog whistles. I suggest that the traditional framework of Gricean implicature cannot account for biased evaluative descriptions. I discuss some challenges to the distinctiveness and evaluability of biased evaluative descriptions, including intersectional social identities. I conclude by discussing their social significance and moral status. Identifying biased evaluative descriptions is important for a variety of social contexts, from the very general and broad (political speeches) to the very particular and small (bias in academic hiring). (shrink)

In this paper I will develop a lambda-term calculus, lambda-2Int, for a bi-intuitionistic logic and discuss its implications for the notions of sense and denotation of derivations in a bilateralist setting. Thus, I will use the Curry-Howard correspondence, which has been well-established between the simply typed lambda-calculus and natural deduction systems for intuitionistic logic, and apply it to a bilateralist proof system displaying two derivability relations, one for proving and one for refuting. The basis will be the natural deduction system (...) of Wansing's bi-intuitionistic logic 2Int, which I will turn into a term-annotated form. Therefore, we need a type theory that extends to a two-sorted typed lambda-calculus. I will present such a term-annotated proof system for 2Int and prove a Dualization Theorem relating proofs and refutations in this system. On the basis of these formal results I will argue that this gives us interesting insights into questions about sense and denotation as well as synonymy and identity of proofs from a bilateralist point of view. (shrink)

In Book 9 of Plato's Republic we find three proofs for the claim that the just person is happier than the unjust person. Curiously, Socrates does not seem to consider these arguments to be coequal when he announces the third and final proof as ‘the greatest and most decisive of the overthrows’. This remark raises a couple of related questions for the interpreter. Whatever precise sense we give to μέγιστον and κυριώτατον in this passage, Socrates is clearly appealing to an (...) argumentative standard of some kind, and claiming that his final argument alone meets this standard. But what precise standard is Socrates invoking here? And given that the first two arguments of Book 9 fall short of this standard, why does he not simply leap directly to the third, most decisive proof? (shrink)

Throughout history, many people, including Mother Teresa, have been troubled by God’s silence. In spite of the conflicting interpretations of the Bible, God has remained silent. What are the implications of divine hiddenness/silence for a meaning of life? Is there a good reason that explains God’s silence? If God created humanity to fulfill a purpose, then God would have clarified his purpose and our role by now, as I will argue. To help God carry out his purpose, we would need (...) to have a clear understanding of our role. Thus, by failing to clarify our role, God would be undermining himself in achieving the purpose he conceived, which would not make sense. Because God, if he exists, would not engage in this self-defeating behavior, this suggests that humanity was not created by God to fulfill a purpose. (shrink)

David Benatar claims that everyone was seriously harmed by coming into existence. To spare future persons from this suffering, we should cease having children, Benatar argues, with the result that humanity would gradually go extinct. Benatar’s claim of universal serious harm is baseless. Each year, an estimated 94% of children born throughout the world do not have a serious birth defect. Furthermore, studies show that most people do not experience chronic pain. Although nearly everyone experiences acute pain and discomforts, such (...) as thirst, these experiences have instrumental value. For example, when a person picks up a hot object, in response to the pain, the person releases the object, thereby preventing serious harm. The standard that Benatar uses to evaluate the quality of our lives is arbitrary, as I will demonstrate. His proposal that we phase humanity out of existence by ceasing to have children is misguided and an overreaction to the problem of human suffering. The ‘threshold conception of harm’, which is a targeted approach for preventing future persons from suffering, is a more sensible approach. (shrink)

Berkeley, Newton, Explanation, and Causation -/- I argue in this paper that Berkeley’s conception of natural law explanations, which echoes Newton’s, fails to solve a fundamental problem, which I label “explanatory asymmetry"; that the model of explanation Berkeley uses fails to distinguish between explanations and justifications, particularly since Berkeley denies real (efficient causes) in non-minded nature. At the end I suggest Berkeley might endorse a notion of understanding, say in astronomy or mechanics, which could be distinguished from explanation.

Some people feel threatened by the thought that life might have arisen by chance. What is it about “chance” that some people find so threatening? If life originated by chance, this suggests that life was unintended and that it was not inevitable. It is ironic that people care about whether life in general was intended, but may not have ever wondered whether their own existence was intended by their parents. If it does not matter to us whether one's own existence (...) was intended, as will be hypothesized, then why should it matter whether there was some remote intent behind the creation of the first unicellular organism(s) billions of years ago? I will discuss three possible scenarios by which life might have originated. I will then argue that, in regard to whether one’s individual life can be meaningful, it does not matter whether life was intended or arose by chance. If complex life was unintended and is rare in this universe, this is not a reason to disparage life, but a reason to appreciate and value our existence. -/- . (shrink)

People often answer why-questions with what we call experiential explanations: narratives or stories with temporal structure and concrete details. In contrast, on most theories of the epistemic function of explanation, explanations should be abstractive: structured by general relationships and lacking extraneous details. We suggest that abstractive and experiential explanations differ not only in level of abstraction, but also in structure, and that each form of explanation contributes to the epistemic goals of individual learners and of science. In particular, experiential explanations (...) support mental simulation and survive transitions across background theories; as a result, they support learning and help us translate between competing frameworks. Experiential explanations play an irreducible role in human cognition – and perhaps in science. (shrink)